Find gsed when doing a tools/docfix on a Mac populated by Homebrew: GNU sed is /usr...

diff --git a/tools/fixdoc b/tools/fixdoc
index 9bd404ec8675d152fe35e21384333d003453d361..c72d1d4c7c897d10bcf875da83b8a74a55d07250 100755 (executable)
--- a/tools/fixdoc
+++ b/tools/fixdoc
@@ -12,6 +12,8 @@ DIR=$1
 TITLE=$2
 
 SED=sed
+# MacOS using Homebrew
+[ -f /usr/local/bin/gsed ] && SED=/usr/local/bin/gsed
 [ -f /opt/local/bin/gsed ] && SED=/opt/local/bin/gsed
 
 [ ! -d $DIR/tpl ] && mkdir -p $DIR/tpl